- idUS
- Listar por autor
Listar por autor "Varela Vaca, Ángel Jesús"
Mostrando ítems 1-20 de 68
-
Artículo
A domain-specific language for the specification of UCON policies
Reina Quintero, Antonia María; Martínez Pérez, Salvador; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Cabot, Jordi (Elsevier, 2022)Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security ...
-
Artículo
A framework to secure the development and auditing of SSL pinning in mobile applications: The case of android devices
Ramírez López, Francisco José; Varela Vaca, Ángel Jesús; Ropero Rodríguez, Jorge; Luque Rodríguez, Joaquín; Carrasco Muñoz, Alejandro (MDPI AG, 2019-12)The use of mobile devices has undergone rapid growth in recent years. However, on some occasions, security has been ...
-
Ponencia
A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Jiménez Ramírez, Andrés (IEEE Computer Society, 2011)Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ...
-
Ponencia
A NLP-Oriented Methodology to Enhance Event Log Quality
Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Ortega Rodríguez, Francisco Javier; Gómez López, María Teresa; Wynn, Moe Thandar (Springer, 2021)The quality of event logs is a crucial cornerstone for the feasibility of the application of later process mining techniques. ...
-
Ponencia
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2010)Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a ...
-
Ponencia
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes
Varela Vaca, Ángel Jesús; Warschofsky, Robert; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio; Meinel, Christoph (Springer, 2012)Risk management has become an essential mechanism for business and security analysts, since it enable the identification, ...
-
Ponencia
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
-
Ponencia
Advisory: vulnerability analysis in software development project dependencies
Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022)ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ...
-
Ponencia
AFPL2, An Abstract Language for Firewall ACLs with NAT support
Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2009)The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the ...
-
Ponencia
AMADEUS: Towards the AutoMAteD secUrity teSting
Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Carmona Fombella, José Antonio; Gómez López, María Teresa (ACM: Association for Computing Machinery, 2020)The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ...
-
Ponencia
An Open-Source Proactive Security Infrastructure for Business Process Management
Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Jiménez Vargas, David; Martínez Gasca, Rafael; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (International Business Information Management Association (IBIMA), 2015)Business Process Management Systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration ...
-
Trabajo Fin de Máster
Analysis of Big Data Architectures and Pipelines: Challenges and Opportunities
Valencia Parra, Álvaro (2019)Los continuos avances tecnológicos están promoviendo cambios en múltiples aspectos de la sociedad. Una de las consecuencias ...
-
Ponencia
Análisis de los datos y coreografia de múltiples procesos en entornos logísticos
Cisneros Carreño, Kevin Daniel; Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Gómez López, María Teresa (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)Los procesos de negocio permiten la descripción de modelos colaborativos donde varios procesos y sus instancias se puedan ...
-
Artículo
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (IEEE Computer Society, 2019)Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
-
Artículo
BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning
Barba González, Cristóbal; Caballero, Ismael; Varela Vaca, Ángel Jesús; Cruz Lemus, José Antonio; Gómez López, María Teresa; Navas Delgado, Ismael (Elsevier B.V., 2024)Data quality should be at the core of many Artificial Intelligence initiatives from the very first moment in which data ...
-
Artículo
Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review
Haro Olmo, Francisco José de; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio (MDPI, 2020)The research presented aims to investigate the relationship between privacy and anonymisation in blockchain technologies ...
-
Artículo
Blockchain‑based federation of wireless sensor nodes
Haro Olmo, F. J.; Álvarez Bermejo, J. A.; Varela Vaca, Ángel Jesús; López Ramos, J. A. (Springer, 2021)Wireless sensor networks (WSNs), as an integral part of most Internet of Things (IoT) devices, are currently proliferating ...
-
Artículo
Business Process Configuration According to Data Dependency Specification
Parody Núñez, María Luisa; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (MDPI AG, 2018-10-22)Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
-
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
-
Ponencia
CC4Spark: Distributing Event Logs and big complex Conformance Checking problems
Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona, Josep (CEUR Workshop Proceedings (CEUR-WS.org), 2021)Conformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting ...